perm filename MACRO2[S1,ALS] blob sn#397870 filedate 1978-11-24 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	The macro for changing the ASSERT calls to ASSERTFAIL calls
C00005 ENDMK
C⊗;
The macro for changing the ASSERT calls to ASSERTFAIL calls
αXF ASSERT ('αβ⊗C(*ASSERT ('...',BOOLEAN) Replaced 11/24/78 ALS*)α⊗C⊗⊂	Insert note
2⊃⊗CαFASSERTαβ\IF NOTα⊗Cα(α β⊗C⊗⊂  Replace ASSERT with IF NOT and split line
3⊃αI THEN ASSERTFAIL (α⊗C⊗⊂	Insert THEN at start
4⊃αF'α⊗CαF',αβ\'α⊗Cα β)β⊗C⊗⊂	Find second ' delete , and split again
5⊃⊗B⊗Bαβ(αβ)α β⊗C⊗⊂		Back up  prime ( and find ) and split again
6⊃αβxzmarkαβ⊗CαβMα↔α⊗C⊗⊂	MARK split piece and back to (
7⊃αβA⊗CαβEα⊗TαDα⊗C⊗⊂		Attach  move +1  join next piece
8⊃⊗BαβAαMαβEα⊗TαDα⊗C⊗⊂		Back  ATTACH  move to mark  join
9⊃⊗Bα⊗TαD⊗C⊗;
The macro for changing ASSERTFAIL calls back to ASSERT calls
αXF (*ASSERT ('...',BOOLEAN) Replaced⊗C⊗⊂	Locate
2⊃αβD⊗⊂					Delete comment
3⊃αFIF NOT (αβ\ASSERT (,α⊗Cβ⊗C⊗⊂	Replace IF NOT with ASSERT, split at ,
4⊃αβXZMARKαβ⊗CαβM⊗⊂			MARK second piece
5⊃⊗Bαβ(αβ)αF THEN ASSERTFAIL (αβ\ α⊗C⊗⊂	Delete THEN ASSERTFAIL (
6⊃αDβ⊗CαF')αβ\'α⊗Cα β⊗Cα⊗C⊗⊂	Split line  FIND ') delete ) and split again
7⊃αβA⊗BαβE⊗Bα⊗TαD⊗C⊗⊂			Join 1st and 3rd pieces
8⊃αβAαMαβE⊗Bα⊗TαDα⊗TαD⊗C⊗;		ATTACH, move middle section and join

THEN ASSERT ('ZZZ(,)ZZZ',BOOLEAN
		MORE BOOLEAN
		STILL MORE)(*POSSIBLE COMMENT*);

ELSE ASSERT ('ZZZ(,)ZZZ',BOOLEAN)

THEN ASSERT ('ZZZ(,)ZZZ',BOOLEAN
		MORE BOOLEAN
		STILL MORE)

THEN ASSERT ('ZZZ(,)ZZZ',BOOLEAN);